targeted mutation 1.2, Ryosuke Takahashi http://identifiers.org/mgd/MGI:5470094 MGI:5470094 Rpt3delta Null/knockout Psmc4<tm1.2Ryot>